منابع مشابه
Tarski's Conceptual Analysis of Semantical Notions
Tarski is famous for his widely accepted conceptual analysis (or, in his terms, “explication”) of the notion of truth for formal languages and the allied notions of satisfaction, definability, and logical consequence. From an historical point of view, two questions are of interest. First, what motivated Tarski to make these analyses, and second, what led to their particular form? The latter que...
متن کاملSemantical Analysis of Higher-Order Abstract Syntax
It is the aim of this paper to advocate the use of functor categories as a semantic foundation of higher-order abstract syntax (HOAS). By way of example, we will show how functor categories can be used for at least the following applications: relating first-order and higher-order abstract syntax (proofs of adequacy) without using reduction rules, justifying induction principles and other axioms...
متن کاملSemantical Analysis of Perpetual Strategies in -calculus ?
Perpetual strategies in-calculus are analyzed from a semantical perspective. This is achieved using suitable denotational models, computationally adequate with respect to the observational (operational) equivalence, p , induced by perpetual strategies. A necessary and suucient condition is given for an !-algebraic lattice, isomorphic to the space of its strict continuous self-maps, to be comput...
متن کاملAn incremental morphological analysis for semantical conversions
The form features recognition has often been studied in the context of manufacturing processes (generally machining processes). Therefore, this approach is not well suited for concurrent engineering, where co-designers should be able to interpret the samèform' as diierent`features' and to add their design semantics to the previous ones. However, they can also see new features that may include f...
متن کاملSemantical Evaluators
In the context of a possibilistic framework for detection of object co-reference, evaluators have been defined as operators that compare two values and express the belief that such values are co-referent. Hereby, co-reference of two values means that these values describe the same entity in the real world. In this paper, a class of evaluators is investigated that determines the belief of co-ref...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publications of the Research Institute for Mathematical Sciences
سال: 1982
ISSN: 0034-5318
DOI: 10.2977/prims/1195183579